Can AI Do mathematics

• Kevin Buzzard
• https://www.youtube.com/watch?v=7yeTcqxZpH4&t=128s
• When tech advances mathematicians adapt and start doing the jobs that tech still cant do
• The art of mathematics: finding good conjectures and proving theorems
• Two tehcnologies (Proof assistiants and language models) which complemeterary strengths and weaknesses